]> dgit.raspbian.org Git - gnome-shell.git/commit
extensionPrefs: Support extension updates
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 30 Nov 2019 14:20:04 +0000 (15:20 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 3 Feb 2020 18:33:12 +0000 (19:33 +0100)
commit075f4a5efcb1ed0a11f2e3720d261cb88f3be999
tree27f6ed7ad8296dce1a4e99f7c967788edaf28c86
parentf1bd94a3678df96abc4ca9b56d68ab2fec759e5e
extensionPrefs: Support extension updates

Now that we have support for extension updates in the shell, we
need some place to display the updates to the user.

As we are establishing the Extensions app as the primary way for
managing extensions, it's a natural place for that functionality.

Show which extensions have updates available, and offer a log out
button (so gnome-shell can apply the updates when logging back in).

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
js/extensionPrefs/css/application.css
js/extensionPrefs/main.js
js/extensionPrefs/ui/extension-row.ui
js/extensionPrefs/ui/extensions-window.ui